Models of computation - PDFSEARCH.IO - Document Search Engine

Models of computation
Results: 1716

#	Item
241	Topological quantum computing for beginners John Preskill, Caltech KITP 7 June 2003 http://www.iqi.caltech.edu/ Add to Reading List Source URL: online.kitp.ucsb.edu Language: English - Date: 2004-06-08 21:30:33 Models of computation Quantum mechanics Classes of computers Quantum field theory Topological quantum computer Topology John Preskill Quantum computer Anyon Theoretical computer science Physics Quantum information science
242	Actor Induction and Meta-evaluation Add to Reading List Source URL: www.cypherpunks.to Language: English - Date: 2008-03-14 04:28:15 Lisp programming language Data types Models of computation Cons Functional programming Lisp Closure List Factorial Software engineering Computing Computer programming
243	On Scenario Synchronization Duc-Hanh Dang1 , Anh-Hoang Truong1 , and Martin Gogolla2 1 University of Engineering and Technology, Vietnam National University of Hanoi, Add to Reading List Source URL: www.db.informatik.uni-bremen.de Language: English - Date: 2010-06-09 06:21:16 UML diagrams Infographics Theoretical computer science Models of computation Graph rewriting State diagram Activity diagram Graph Unified Modeling Language Graph theory Diagrams Mathematics
244	Learning Stochastic Finite Automata for Musical Style Recognition? Colin de la Higuera, Fr´ed´eric Piat and Fr´ed´eric Tantini1 EURISE, Universit´e de Saint-Etienne, 23 rue du Docteur Paul Michelon, 42023 Saint-Etie Add to Reading List Source URL: pagesperso.lina.univ-nantes.fr Language: English - Date: 2009-09-07 03:02:20 Formal languages Computer science Applied mathematics Combinatorics on words Probabilistic automaton Finite-state machine Finite state transducer Nondeterministic finite automaton Deterministic finite automaton Automata theory Models of computation Theoretical computer science
245	PDF Document Add to Reading List Source URL: www-igm.univ-mlv.fr Language: English - Date: 2009-03-05 12:47:57 Nested word Words Pushdown automaton Context-free language Symbol Finite-state machine Mathematics Linguistics Computing Automata theory Models of computation Formal languages
246	JFLAP2TikZ Andrew Mertz and William Slough Introduction JFLAP1 is a popular Java program for experimenting with finite state machines, Turing machines and other concepts from Formal Languages and Automata Theory. Version Add to Reading List Source URL: ctan.sciserv.eu Language: English - Date: 2014-07-22 07:31:56 Theoretical computer science Computer science PGF/TikZ Turing machine Finite-state machine Pushdown automaton Models of computation Theory of computation Automata theory
247	Sober Spaces and Continuations Paul Taylor August 5, 2003 Abstract A topological space is sober if it has exactly the points that are dictated by its open sets. We explain the analogy with the way in which computational Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 13:02:39 Functions and mappings Theoretical computer science Formal methods Models of computation Model theory Symbol Lambda calculus Interpretation Primitive recursive function Mathematics Mathematical logic Computability theory
248	Cache-Oblivious Simulation of Parallel Programs Andrea Pietracaprina Geppino Pucci Francesco Silvestri Add to Reading List Source URL: www.itu.dk Language: English - Date: 2015-01-07 05:01:28 Models of computation Analysis of algorithms Cache-oblivious algorithm CPU cache Locality of reference Parallel computing Cache Computer memory Computing
249	A Concurrency-Preserving Translation from Time Petri Nets to Networks of Timed Automata Sandie Balaguer, Thomas Chatain, Stefan Haar LSV – ENS Cachan, INRIA, CNRS – France Add to Reading List Source URL: www.cmi.ac.in Language: English - Date: 2011-01-31 10:48:50 Petri net Formal language Computer science Mathematics Applied mathematics Models of computation Concurrency Diagrams
250	LVars: Lattice-based Data Structures for Deterministic Parallelism Lindsey Kuper Ryan R. Newton Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2013-07-28 16:11:31 Mathematical logic Theoretical computer science Determinism Lattice Parallel computing Kahn process networks Applied mathematics Geometry Mathematics Models of computation Algorithm

UPDATE